Categorical Informatics
http://math.mit.edu/~dspivak/informatics/